Skip to main content
Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
💻 Programming languages
programming language theory
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18627
posts in
1.97
s
Functional
Logic Program
Transformations
arxiv.org
·
15h
🧮
SMT Solvers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Making an
LSP
for great good
thunderseethe.dev
·
20h
·
Discuss:
Lobsters
,
Hacker News
⚡
Glommio
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Designing
Boring
Software with Functional Programming
agentultra.com
·
17h
🔢
Algebraic Data Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
How to
Write
Your Own
Programming
Language in C#
codemag.com
·
2d
✏️
Code Editors
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Template
Method Design
Pattern
denvaar.dev
·
17h
🔒
Borrow Checker
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Kolmogorov
Complexity
en.wikipedia.org
·
8h
·
Discuss:
Hacker News
🗜️
Vector Compression
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Why not
tail
recursion
?
futhark-lang.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
⚙
Rust Compiler Internals
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Conversation
: LLMs and the what/how
loop
martinfowler.com
·
5h
🪄
Prompt Engineering
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Rust async
combinators
for
elegant
and secure concurrency
kerkour.com
·
14h
·
Discuss:
r/rust
🔄
Async Rust
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Simplex
, a workflow
specification
language for autonomous agents
github.com
·
23h
·
Discuss:
Hacker News
📐
TLA+
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Alexis
King’s Blog
lexi-lambda.github.io
·
2d
🧩
Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The
Parable
of the
Languages
(2002)
web.archive.org
·
1d
·
Discuss:
Lobsters
🔤
Tokenization
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From LLMs to Agents in Programming: The Impact of
Providing
an LLM with a
Compiler
arxiv.org
·
15h
🪄
Prompt Engineering
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Writing
your first
compiler
popovicu.com
·
2d
·
Discuss:
Hacker News
,
r/golang
⚙
Rust Compiler Internals
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Patterns
All the Way Down: A
Generalization
for Graph-Like Things
medium.com
·
4h
·
Discuss:
Hacker News
🎨
Chroma
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Evolution
of LLMs use by a
programmer
asfaload.com
·
3h
·
Discuss:
Hacker News
🪄
Prompt Engineering
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Type-safe
eval
in
Grace
haskellforall.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔄
Serde
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
GNU
C Language
Manual
gnu.org
·
1h
🔢
Algebraic Data Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Designing
a Programming Language for the
Desert
futhark-lang.org
·
4h
·
Discuss:
Hacker News
📦
uv
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Use of
Assertions
blog.regehr.org
·
5h
📐
TLA+
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help